Michael G. Hinchey: البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Springer-Verlag London

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey, Roy Sterritt (auth.)

عام:

2010

اللغة:

english

ملف:

PDF, 5.15 MB

0 / 0

english, 2010

2

High-Integrity System Specification and Design

High-Integrity System Specification and Design

Springer-Verlag London

Jonathan P. Bowen BA, MA, Michael G. Hinchey BSc, MSc, PhD (auth.)

عام:

1999

اللغة:

english

ملف:

PDF, 17.04 MB

0 / 0

english, 1999

3

Industrial-strength formal methods in practice

Industrial-strength formal methods in practice

Michael G. Hinchey, Jonathan P. Bowen (eds.)

عام:

1999

اللغة:

english

ملف:

DJVU, 3.63 MB

0 / 0

english, 1999

4

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 3.25 MB

0 / 0

english, 2001

5

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers

Springer-Verlag Berlin Heidelberg

Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 4.97 MB

0 / 0

english, 2001

6

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

عام:

2005

اللغة:

spanish

ملف:

PDF, 8.16 MB

0 / 0

spanish, 2005

7

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

عام:

2005

اللغة:

english

ملف:

LIT , 8.26 MB

0 / 0

english, 2005

8

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff [Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff]

عام:

2005

اللغة:

spanish

ملف:

EPUB, 7.74 MB

0 / 0

spanish, 2005

9

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

عام:

2005

اللغة:

spanish

ملف:

AZW3 , 8.36 MB

0 / 0

spanish, 2005

10

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

عام:

2005

اللغة:

spanish

ملف:

FB2 , 11.49 MB

0 / 0

spanish, 2005

11

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Formal Approaches to Agent-based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004 : Revised Selected Papers

Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff

عام:

2005

اللغة:

spanish

ملف:

MOBI , 17.44 MB

0 / 0

spanish, 2005

12

Understanding Formal Methods

Understanding Formal Methods

Springer-Verlag London

Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (auth.), Jean-François Monin PhD, Michael G. Hinchey PhD, MSc, BSc (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 11.81 MB

0 / 0

english, 2003

13

Software technology: 10 years of innovation in IEEE Computer

Software technology: 10 years of innovation in IEEE Computer

IEEE Computer Society

Hinchey, Michael Gerard

عام:

2018

اللغة:

english

ملف:

PDF, 22.21 MB

0 / 0

english, 2018

14

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

Walt Truszkowski, Harold Hallock, Christopher Rouff, Jay Karlin, James Rash, Michael Hinchey

عام:

2009

اللغة:

english

ملف:

PDF, 3.92 MB

0 / 0

english, 2009

15

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 8.17 MB

0 / 0

english, 2005

16

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

ZUM ’98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Grimm (auth.), Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds.)

عام:

1998

اللغة:

english

ملف:

PDF, 10.95 MB

0 / 0

english, 1998

17

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

J. -R. Abrial (auth.), Michael Butler, Michael G. Hinchey, María M. Larrondo-Petrie (eds.)

عام:

2007

اللغة:

english

ملف:

PDF, 4.28 MB

0 / 0

english, 2007

18

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users Limerick, Ireland, September 7–9, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

David Lorge Parnas (auth.), Jonathan P. Bowen, Michael G. Hinchey (eds.)

عام:

1995

اللغة:

english

ملف:

DJVU, 5.90 MB

0 / 0

english, 1995

19

Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

Michael Hinchey, James Rash, Walt Truszkowski, Diana F. Gordon-Spears, Christopher Rouff

عام:

2005

اللغة:

english

ملف:

PDF, 3.51 MB

0 / 0

english, 2005

20

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002. Revised Papers

Springer-Verlag Berlin Heidelberg

Tim Menzies, Adrian Pearce, Clinton Heinze, Simon Goss (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 3.98 MB

0 / 0

english, 2003

21

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice

Springer-Verlag London

Jonathan P. Bowen, Michael G. Hinchey (auth.), Michael G. Hinchey BSc, MSc, PhD, Jonathan P. Bowen BA, MA (eds.)

عام:

1999

اللغة:

english

ملف:

PDF, 41.80 MB

0 / 0

english, 1999

22

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

Springer-Verlag Berlin Heidelberg

Karin Breitman, Walt Truszkowski (auth.), Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff, Roy Sterritt, Walt Truszkowski (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 5.32 MB

0 / 0

english, 2006

23

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 7.89 MB

0 / 0

english, 2005

24

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA,

Michael G. Hinchey, Patricia Rago, James L. Rash, Christopher A. Rouff

عام:

2006

اللغة:

english

ملف:

PDF, 5.76 MB

0 / 0

english, 2006

25

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings

Springer-Verlag Berlin Heidelberg

Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)

عام:

1997

اللغة:

english

ملف:

DJVU, 3.78 MB

0 / 0

english, 1997

26

Agent Technology from a Formal Perspective

Agent Technology from a Formal Perspective

Springer-Verlag London

عام:

2006

اللغة:

english

ملف:

PDF, 1.83 MB

0 / 0

english, 2006

27

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Maxim D. Peysakhov, Vincent A. Cicirello, William C. Regli (auth.), Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff (eds.)

عام:

2005

اللغة:

english

ملف:

DJVU, 3.35 MB

0 / 0

english, 2005